x86: report use of PCID together with reporting XPTI status
authorJan Beulich <jbeulich@suse.com>
Wed, 29 Aug 2018 14:28:01 +0000 (16:28 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 29 Aug 2018 14:28:01 +0000 (16:28 +0200)
commit725cc2edce3d9cda38c107a23851cf3d578773aa
treed9c76b875281578e2f3719fd3de817a450bf9592
parent70c0144f924aea141574390faa5b35900e97a1a3
x86: report use of PCID together with reporting XPTI status

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/pv/domain.c
xen/arch/x86/spec_ctrl.c
xen/include/asm-x86/pv/domain.h